(clear_mouse_face): Only clear mouse highlight if not hidden.
authorKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:54:02 +0000 (21:54 +0000)
committerKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:54:02 +0000 (21:54 +0000)
commita5f0540624d5f16de68ff66bebb22b82d9290071
treea89eff22e83599a1b0dbaf965545ea23e0e7f60c
parentcb26c87e56586508e56dc3ce81bb2313eef3f5f7
(clear_mouse_face): Only clear mouse highlight if not hidden.
(dos_rawgetc): Set mouse_face_hidden after clearing highlight.
src/msdos.c